{
/* The guest CR3 must be pointing to the guest physical. */
mfn = get_mfn_from_gpfn(v->arch.hvm_svm.cpu_cr3 >> PAGE_SHIFT);
- if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain))
+ if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain))
{
gdprintk(XENLOG_ERR, "Invalid CR3 value = %lx (mfn=%lx)\n",
v->arch.hvm_svm.cpu_cr3, mfn);
*/
HVM_DBG_LOG(DBG_LEVEL_VMMU, "CR3 value = %lx", value);
mfn = get_mfn_from_gpfn(value >> PAGE_SHIFT);
- if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain))
+ if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain))
goto bad_cr3;
old_base_mfn = pagetable_get_pfn(v->arch.guest_table);
#if CONFIG_PAGING_LEVELS >= 3
unsigned long mfn, old_base_mfn;
mfn = get_mfn_from_gpfn(v->arch.hvm_svm.cpu_cr3 >> PAGE_SHIFT);
- if ( !VALID_MFN(mfn) ||
+ if ( !mfn_valid(mfn) ||
!get_page(mfn_to_page(mfn), v->domain) )
goto bad_cr3;
*/
HVM_DBG_LOG(DBG_LEVEL_VMMU, "CR3 c->cr3 = %x", c->cr3);
mfn = get_mfn_from_gpfn(c->cr3 >> PAGE_SHIFT);
- if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
+ if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
goto bad_cr3;
old_base_mfn = pagetable_get_pfn(v->arch.guest_table);
v->arch.guest_table = pagetable_from_pfn(mfn);
* The guest CR3 must be pointing to the guest physical.
*/
mfn = get_mfn_from_gpfn(v->arch.hvm_vmx.cpu_cr3 >> PAGE_SHIFT);
- if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
+ if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
{
gdprintk(XENLOG_ERR, "Invalid CR3 value = %lx (mfn=%lx)\n",
v->arch.hvm_vmx.cpu_cr3, mfn);
*/
HVM_DBG_LOG(DBG_LEVEL_VMMU, "CR3 value = %lx", value);
mfn = get_mfn_from_gpfn(value >> PAGE_SHIFT);
- if ( !VALID_MFN(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
+ if ( !mfn_valid(mfn) || !get_page(mfn_to_page(mfn), v->domain) )
goto bad_cr3;
old_base_mfn = pagetable_get_pfn(v->arch.guest_table);
v->arch.guest_table = pagetable_from_pfn(mfn);
#if CONFIG_PAGING_LEVELS >= 3
unsigned long mfn, old_base_mfn;
mfn = get_mfn_from_gpfn(v->arch.hvm_vmx.cpu_cr3 >> PAGE_SHIFT);
- if ( !VALID_MFN(mfn) ||
+ if ( !mfn_valid(mfn) ||
!get_page(mfn_to_page(mfn), v->domain) )
goto bad_cr3;
gmfn = l1e_get_pfn(l1e);
mfn = gmfn_to_mfn(d, gmfn);
- if ( unlikely(!VALID_MFN(mfn)) )
+ if ( unlikely(!mfn_valid(mfn)) )
return 0;
okay = get_page_and_type(mfn_to_page(mfn), d, PGT_ldt_page);
LOCK_BIGLOCK(dom);
- if ( !VALID_MFN(mfn = gmfn_to_mfn(dom, gmfn)) ||
- (((unsigned int)pa % sizeof(struct desc_struct)) != 0) ||
+ mfn = gmfn_to_mfn(dom, gmfn);
+ if ( (((unsigned int)pa % sizeof(struct desc_struct)) != 0) ||
!mfn_valid(mfn) ||
!check_descriptor(&d) )
{
#define gmfn_to_mfn(_d, gpfn) mfn_x(sh_gfn_to_mfn(_d, gpfn))
#define INVALID_MFN (~0UL)
-#define VALID_MFN(_mfn) (!((_mfn) & (1U<<31)))
-
#ifdef MEMORY_GUARD
void memguard_init(void);
static inline int
valid_mfn(mfn_t m)
{
- return VALID_MFN(mfn_x(m));
+ return mfn_valid(mfn_x(m));
}
static inline mfn_t
mmio_space(paddr_t gpa)
{
unsigned long gfn = gpa >> PAGE_SHIFT;
- return !VALID_MFN(mfn_x(sh_gfn_to_mfn_current(gfn)));
+ return !mfn_valid(mfn_x(sh_gfn_to_mfn_current(gfn)));
}
static inline l1_pgentry_t